Matt Kaufmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Filter logics: Filters on ω1

Journal:

Annals of Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 2.94 MB

english, 1981

2

A correction to “stationary logic”

Jon Barwise, Matt Kaufmann, Michael Makkai

Journal:

Annals of Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 86 KB

english, 1981

3

Stationary logic

Jon Barwise, Matt Kaufmann, Michael Makkai

Journal:

Annals of Mathematical Logic

Year:

1978

Language:

english

File:

PDF, 3.16 MB

english, 1978

4

[ACM Press the sixth international workshop - Seattle, Washington (2006.08.15-2006.08.16)] Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - An embedding of the ACL2 logic in HOL

Gordon, Michael J. C., Hunt, Warren A., Kaufmann, Matt, Reynolds, James

Year:

2006

Language:

english

File:

PDF, 256 KB

english, 2006

5

A New Omitting Types Theorem for L(Q)

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 367 KB

english, 1979

6

Some remarks on equivalence in infinitary and stationary logic.

Journal:

Notre Dame Journal of Formal Logic

Year:

1984

Language:

english

File:

PDF, 753 KB

english, 1984

7

Blunt and topless end extensions of models of set theory

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 1.48 MB

english, 1983

8

Integrating external deduction tools with ACL2

Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 266 KB

english, 2009

9

Remarks on weak notions of saturation in models of Peano arithmetic

Kaufmann, Matt, Schmerl, James H.

Journal:

Journal of Symbolic Logic

Year:

1987

Language:

english

File:

PDF, 1.33 MB

english, 1987

10

Industrial hardware and software verification with ACL2

Hunt, Warren A., Kaufmann, Matt, Moore, J Strother, Slobodova, Anna

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Year:

2017

Language:

english

File:

PDF, 358 KB

english, 2017

11

Iterated ultrapowers for the masses

Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri

Journal:

Archive for Mathematical Logic

Year:

2017

Language:

english

File:

PDF, 507 KB

english, 2017

12

Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem

Matt Kaufmann, Paolo Pecchiari

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.90 MB

english, 1996

13

DEFINABLE ULTRAPOWERS AND ULTRAFILTERS OVER ADMISSIBLE ORDINALS

Matt Kaufmann, Evangelos Kranakis

Journal:

Mathematical Logic Quarterly

Year:

1984

Language:

english

File:

PDF, 1.29 MB

english, 1984

14

Deaths related to lead poisoning in the United States, 1979–1998

Rachel B Kaufmann, Catherine J Staes, Thomas D Matte

Journal:

Environmental Research

Year:

2003

Language:

english

File:

PDF, 164 KB

english, 2003

15

Secreted Frizzled-related Protein 2 (sFRP2) Redirects Non-canonical Wnt Signaling from Fz7 to Ror2 during Vertebrate Gastrulation

Brinkmann, Eva-Maria, Mattes, Benjamin, Kumar, Rahul, Hagemann, Anja I. H., Gradl, Dietmar, Scholpp, Steffen, Steinbeisser, Herbert, Kaufmann, Lilian T., Özbek, Suat

Journal:

Journal of Biological Chemistry

Year:

2016

Language:

english

File:

PDF, 6.56 MB

english, 2016

16

[IEEE 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Vienna (2018.5.13-2018.5.16)] 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Data-Loop-Free Self-Timed Circuit Verification

Chau, Cuong, Hunt, Warren, Kaufmann, Matt, Roncken, Marly, Sutherland, Ivan

Year:

2018

Language:

english

File:

PDF, 34 KB

english, 2018

17

A Rather Classless Model

Journal:

Proceedings of the American Mathematical Society

Year:

1977

Language:

english

File:

PDF, 158 KB

english, 1977

18

Is home renovation or repair a risk factor for exposure to lead among children residing in New York City?

Dori B. Reissman, Thomas D. Matte, Karen L. Gurnitz, Rachel B. Kaufmann, Jessica Leighton

Journal:

Journal of Urban Health

Year:

2002

Language:

english

File:

PDF, 79 KB

english, 2002

19

A prototype theorem-prover for a higher-order functional language

Boyer, Bob, Kaufmann, Matt

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1985

File:

PDF, 348 KB

1985

20

The strength of nonstandard methods in arithmetic

Henson, C. Ward, Kaufmann, Matt, Keisler, H. Jerome

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 1.21 MB

english, 1984

21

The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4

Michael J. C. Gordon, Matt Kaufmann, Sandip Ray

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 918 KB

english, 2011

22

Elevated Blood Lead Levels and Blood Lead Screening Among US Children Aged One to Five Years: 1988-1994

Kaufmann, R. B., Clouse, T. L., Olson, D. R., Matte, T. D.

Journal:

Year:

2000

Language:

english

File:

PDF, 338 KB

english, 2000

23

Identifying Climatic Controls on Ring Width: The Timing of Correlations between Tree Rings and NDVI

Kaufmann, R. K., D’Arrigo, R. D., Paletta, L. F., Tian, H. Q., Jolly, W. Matt, Myneni, R. B.

Journal:

Earth Interactions

Year:

2008

Language:

english

File:

PDF, 299 KB

english, 2008

24

SPECTRAL AND IMAGING OBSERVATIONS OF A WHITE-LIGHT SOLAR FLARE IN THE MID-INFRARED

Penn, Matt, Krucker, Säm, Hudson, Hugh, Jhabvala, Murzy, Jennings, Don, Lunsford, Allen, Kaufmann, Pierre

Journal:

The Astrophysical Journal

Year:

2016

Language:

english

File:

PDF, 814 KB

english, 2016

25

On random models of finite power and monadic logic

Matt Kaufmann, Saharon Shelah

Journal:

Discrete Mathematics

Year:

1985

Language:

english

File:

PDF, 619 KB

english, 1985

26

Meeting of the Association for Symbolic Logic

John, Baldwin, Kaufmann, Matt, Knight, Julia F.

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 131 KB

english, 1985

27

Rewriting with Equivalence Relations in ACL2

Bishop Brock, Matt Kaufmann, J Strother Moore

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 290 KB

english, 2008

28

Set theory with a filter quantifier

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 1.35 MB

english, 1983

29

SPIE Proceedings [SPIE 29th Annual Technical Symposium - San Diego (Tuesday 20 August 1985)] Airborne Reconnaissance IX - Photogrammetric Tools For Panoramic Sector Scan Imagery In The VIDARS Analysis Station

Leberl, Franz W., Kaufmann, Viktor, Gustafson, Glen C., Stevens, Matt, Kienegger, Erwin, Henkel, Paul A., LaGesse, Francis R.

Year:

1985

Language:

english

File:

PDF, 2.61 MB

english, 1985

30

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Simulation and formal verification of x86 machine-code programs that make system calls

Goel, Shilpi, Hunt, Warren A., Kaufmann, Matt, Ghosh, Soumava

Year:

2014

Language:

english

File:

PDF, 550 KB

english, 2014

31

Efficient execution in an automated reasoning environment

GREVE, DAVID A., KAUFMANN, MATT, MANOLIOS, PANAGIOTIS, MOORE, J STROTHER, RAY, SANDIP, RUIZ-REINA, JOSÉ LUIS, SUMNERS, ROB, VROON, DARON, WILDING, MATTHEW

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 193 KB

english, 2008

32

A rather classless model

Journal:

Proceedings of the American Mathematical Society

Year:

1977

Language:

english

File:

PDF, 359 KB

english, 1977

33

An extension of the Boyer-Moore Theorem Prover to support first-order quantification

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 868 KB

english, 1992

34

Verification of Year 2000 conversion rules using the ACL2 theorem prover

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 146 KB

english, 2000

35

Dual-Source CT Coronary Angiography: Image Quality, Mean Heart Rate, and Heart Rate Variability

Matt, David, Scheffel, Hans, Leschka, Sebastian, Flohr, Thomas G., Marincek, Borut, Kaufmann, Philipp A., Alkadhi, Hatem

Journal:

American Journal of Roentgenology

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

36

[IEEE 2012 IEEE 62nd Electronic Components and Technology Conference (ECTC) - San Diego, CA, USA (2012.05.29-2012.06.1)] 2012 IEEE 62nd Electronic Components and Technology Conference - Mechanically compliant lead-free solder metallurgy: The key element in enabling extreme low-k large-die flip chip devices

Pang, Mengzhi, Kaufmann, Matt, Sze, Henry, Sharifi, Reza, Tan, Keith, Neo, Chong Wei, Ramakrishna, Ram, Karikalan, Sam, Khan, Reza

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

37

Saturation and simple extensions of models of peano arithmetic

Matt Kaufmann, James H. Schmerl

Journal:

Annals of Pure and Applied Logic

Year:

1984

Language:

english

File:

PDF, 2.04 MB

english, 1984

38

A New Method to Quantify Carbonate Rock Weathering

Dubois, Caroline, Deceuster, John, Kaufmann, Olivier, Rowberry, Matt D.

Journal:

Mathematical Geosciences

Year:

2015

Language:

english

File:

PDF, 6.88 MB

english, 2015

39

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Formal verification of FIRE

Jang, Jae-Young, Qadeer, Shaz, Kaufmann, Matt, Pixley, Carl

Year:

1997

Language:

english

File:

PDF, 91 KB

english, 1997

40

Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm

Journal:

Journal of Automated Reasoning

Year:

1991

Language:

english

File:

PDF, 2.25 MB

english, 1991

41

[ACM Press the Eighth International Workshop - Boston, Massachusetts (2009.05.11-2009.05.12)] Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 - Formal verification of LabVIEW programs using the ACL2 Theorem Prover

Kaufmann, Matt, Kornerup, Jacob, Reitblatt, Mark

Year:

2009

Language:

english

File:

PDF, 228 KB

english, 2009

42

Largest initial segments pointwise fixed by automorphisms of models of set theory

Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri

Journal:

Archive for Mathematical Logic

Year:

2018

Language:

english

File:

PDF, 707 KB

english, 2018

43

Integrins of normal human epidermis: differential expression, synthesis and molecular structure

C.EBERHARD KLEIN, T. STEINMAYER, J.M. MATTES, R. KAUFMANN, L. WEBER

Journal:

British Journal of Dermatology

Year:

1990

Language:

english

File:

PDF, 2.28 MB

english, 1990

44

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - An Integration of HOL and ACL2

Gordon, Michael, Reynolds, James, Hunt, Warren, Kaufmann, Matt

Year:

2006

Language:

english

File:

PDF, 172 KB

english, 2006

45

Filter Logics on ω

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 1.09 MB

english, 1984

46

[ACM Press the sixth international workshop - Seattle, Washington (2006.08.15-2006.08.16)] Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - Double rewriting for equivalential reasoning in ACL2

Kaufmann, Matt, Moore, J Strother

Year:

2006

Language:

english

File:

PDF, 208 KB

english, 2006

47

[ACM Press the Eighth International Workshop - Boston, Massachusetts (2009.05.11-2009.05.12)] Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 - Abbreviated output for input in ACL2

Year:

2009

Language:

english

File:

PDF, 177 KB

english, 2009

48

A note on the Hanf number of second-order logic.

Journal:

Notre Dame Journal of Formal Logic

Year:

1985

Language:

english

File:

PDF, 385 KB

english, 1985

49

[IEEE 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Vienna (2018.5.13-2018.5.16)] 2018 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Data-Loop-Free Self-Timed Circuit Verification

Chau, Cuong, Hunt, Warren, Kaufmann, Matt, Roncken, Marly, Sutherland, Ivan

Year:

2018

File:

PDF, 34 KB

2018

50

[IEEE 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Hirosaki, Japan (2019.5.12-2019.5.15)] 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - A Hierarchical Approach to Self-Timed Circuit Verification

Chau, Cuong, Hunt, Warren A., Kaufmann, Matt, Roncken, Marly, Sutherland, Ivan

Year:

2019

Language:

english

File:

PDF, 1.36 MB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски